Interactive proof system

Results: 103



#Item
21NEXPTIME / IP / NP / Soundness / KeY / Logic programming / Interactive proof system / Zero-knowledge proof / Theoretical computer science / Applied mathematics / Complexity classes

Interactive proofs with competing teams of no-signaling provers

Add to Reading List

Source URL: cjtcs.cs.uchicago.edu

Language: English - Date: 2013-07-24 10:11:20
22Non-interactive zero-knowledge proof / Zero-knowledge proof / Proof-of-work system / Proof of knowledge / Random oracle / Commitment scheme / Cryptographic nonce / NP / IP / Cryptography / Cryptographic protocols / Bitcoin

Rational Zero: Economic Security for Zerocoin with Everlasting Anonymity Christina Garman, Matthew Green, Ian Miers, and Aviel D. Rubin The Johns Hopkins University Department of Computer Science, Baltimore, USA {cgarman

Add to Reading List

Source URL: fc14.ifca.ai

Language: English - Date: 2014-02-18 12:20:10
23Quantum information science / Complexity classes / Interactive proof system / QMA / NEXPTIME / IP / Probabilistically checkable proof / Qubit / Quantum computer / Theoretical computer science / Applied mathematics / Computational complexity theory

A multiprover interactive proof system for the local Hamiltonian problem Joseph Fitzsimons∗ Thomas Vidick† Abstract

Add to Reading List

Source URL: www.quantum-lab.org

Language: English - Date: 2014-11-28 23:31:17
24Quantum complexity theory / Models of computation / Probabilistic complexity theory / Quantum information science / QIP / QMA / Interactive proof system / IP / Arthur–Merlin protocol / Theoretical computer science / Computational complexity theory / Applied mathematics

On Quantum Interactive Proofs with Short Messages

Add to Reading List

Source URL: cjtcs.cs.uchicago.edu

Language: English - Date: 2012-12-09 02:04:20
25Quantum mechanics / Quantum teleportation / Interactive proof system / Quantum entanglement / Quantum channel / IP / NEXPTIME / Quantum key distribution / Qubit / Physics / Theoretical computer science / Quantum information science

Coherent state exchange in multi-prover quantum interactive proof systems

Add to Reading List

Source URL: cjtcs.cs.uchicago.edu

Language: English - Date: 2013-08-13 18:53:20
26Cryptographic protocols / Complexity classes / Interactive proof system / Zero-knowledge proof / Proof of knowledge / Quantum complexity theory / IP / NP / Soundness / Theoretical computer science / Computational complexity theory / Cryptography

Composition of Zero-Knowledge Proofs with Efficient Provers∗ Eleanor Birrell† Salil Vadhan‡

Add to Reading List

Source URL: eprint.iacr.org

Language: English - Date: 2009-12-07 14:26:58
27Cryptographic protocols / Computational complexity theory / Proof theory / Complexity classes / Combinatorics / Interactive proof system / IP / Soundness / Non-interactive zero-knowledge proof / Theoretical computer science / Cryptography / Applied mathematics

Basing Non-Interactive Zero-Knowledge on (Enhanced) Trapdoor Permutations: The State of the art Oded Goldreich Abstract. The purpose of this article is to correct the inaccurate account of this subject that is provided

Add to Reading List

Source URL: www.wisdom.weizmann.ac.il

Language: English - Date: 2010-07-22 08:07:12
28Quantum complexity theory / Quantum information science / Models of computation / QMA / Interactive proof system / PP / IP / Soundness / Quantum computer / Theoretical computer science / Applied mathematics / Computational complexity theory

Quantum Merlin-Arthur Proof Systems: Are Multiple Merlins More Helpful to Arthur?∗ Hirotada Kobayashia b † Keiji Matsumotoa b ‡

Add to Reading List

Source URL: cjtcs.cs.uchicago.edu

Language: English - Date: 2009-07-17 07:53:04
29Computational complexity theory / Interactive proof system / IP / Quantum algorithm / BQP / Quantum computer / PP / NP / Soundness / Theoretical computer science / Applied mathematics / Quantum complexity theory

Interactive proofs with efficient quantum prover for recursive Fourier sampling

Add to Reading List

Source URL: cjtcs.cs.uchicago.edu

Language: English - Date: 2012-09-21 16:35:50
30Email / Industrial engineering / Package delivery / Mail / Proof of delivery / Business / Packaging and labeling / Postal system / Technology / Express mail

campus package delivery RECEIVE AND DELIVER PACKAGES WHILE INCREASING VISIBILITY RACO Interactive Campus Package Delivery is an ideal software application

Add to Reading List

Source URL: www.racointeractive.com

Language: English - Date: 2013-10-01 12:22:14
UPDATE